15 research outputs found
Two level credibility-limited revisions
In this paper, we propose a new kind of nonprioritized operator which we call two level credibility-limited revision. When revising through a two level credibility-limited revision there are two levels of credibility and one of incredibility. When revising by a sentence at the highest level of credibility, the operator behaves as a standard revision, if the sentence is at the second level of credibility, then the outcome of the revision process coincides with a standard contraction by the negation of that sentence. If the sentence is not credible, then the original belief set remains unchanged. In this article, we axiomatically characterize several classes of two level credibility-limited revision operators.info:eu-repo/semantics/publishedVersio
Advances on belief base dynamics
The main goal underlying the research area of belief change consists in finding appropriate ways of modelling the belief state of a rational agent and, additionally, the changes which occur in such a state when the agent receives new information. The most important model of belief change is the so-called AGM model, proposed in [AGM85]. In this model, the belief state of an agent is represented by a belief set—a deductively closed set of sentences. A change consists in adding or removing a specific sentence from a belief set to obtain a new belief set. Two of the main shortcomings pointed out to the AGM model of belief change are the use of belief sets to represent belief states and the (unrealistic) acceptance of any new piece of information. In this thesis we address both those issues. We present axiomatic characterizations for ensconcement-based contractions and for brutal contractions, two kinds of belief bases contraction operators introduced in [Wil94b] that are based on the concept of ensconcement, which is a generalization to the case of belief bases of the concept of epistemic entrenchment introduced in [Ga¨r88, GM88]. We compare the axiomatic characterizations of these operators with those of other well-known base contraction operators and study the interrelations among the former and the contraction operators based on epistemic entrenchments. We study non-prioritized base change operators, namely shielded base contractions and credibility-limited base revisions. We propose several different classes of shielded base contractions and obtain axiomatic characterizations for each one of them. Additionally we thoroughly investigate the interrelations (in the sense of inclusion) among all those classes. Afterwards we perform a similar study for credibility-limited base revisions. Finally, we study the interrelation between the different proposed classes of operators of credibility-limited base revision and of shielded contraction by means of the consistency-preserving Levi identity and the Harper identity.O objetivo principal da a´rea de revis˜ao de cren¸cas ´e encontrar modelos que permitam modelar o estado de cren¸cas de um agente racional, bem como as mudan¸cas que ocorrem nesse estado de cren¸cas quando o agente recebe novas informa¸co˜es. O modelo mais influente desta ´area ´e o chamado modelo AGM proposto em [AGM85]. Neste modelo, o estado de cren¸cas de um agente ´e representado por um conjunto de cren¸cas—conjunto de f´ormulas dedutivamente fechado. Uma mudan¸ca consiste em adicionar ou remover uma fo´rmula espec´ıfica de um conjunto de cren¸cas para obter um novo conjunto de crenc¸as. Dois dos principais problemas apontados ao modelo AGM sa˜o o uso de conjuntos de cren¸cas para representar estados de cren¸ca e a aceita¸ca˜o (irrealista) de qualquer nova informa¸ca˜o. Nesta tese abordamos ambas as quest˜oes. Apresentamos caracteriza¸co˜es axiom´aticas para contra¸c˜oes baseadas em ensconcements e para contra¸c˜oes brutais, dois tipos de operadores de contrac¸˜ao em bases de cren¸cas introduzidos em [Wil94b] e que se baseiam no conceito de ensconcement— generaliza¸ca˜o em bases de cren¸cas, do conceito de epistemic entrenchment introduzido em [Ga¨r88, GM88]. Comparamos as caracteriza¸c˜oes axiom´aticas destes operadores com as de outros operadores de contrac¸˜ao em bases bem conhecidos e estudamos as inter-rela¸co˜es entre os primeiros e os operadores de contra¸ca˜o baseados em epistemic entrenchments. Estudamos operadores de mudanc¸as de crenc¸as na˜o-priorizados em bases, nomeadamente contra¸c˜oes protegidas e revis˜oes com limite de credibilidade. Propomos v´arias classes de operadores de contra¸c˜oes protegidas e obtemos teoremas de representa¸ca˜o para cada uma dessas classes. Investigamos, igualmente, as inter-rela¸co˜es (no sentido de inclusa˜o) entre todas essas classes. Posteriormente, realizamos um estudo semelhante para reviso˜es com limite de credibilidade. Finalmente, estudamos a inter-relac¸˜ao entre as diferentes classes propostas de operadores (definidos em bases de cren¸cas) de revis˜ao com limite de credibilidade e de contra¸co˜es protegidas atrav´es da identidade de Levi conservadora-da-consistˆencia e da identidade de Harper
Credibility-limited base revision: new classes and their characterizations
In this paper we study a kind of operator —known as credibility-limited base revisions—
which addresses two of the main issues that have been pointed out to the AGM model of
belief change. Indeed, on the one hand, these operators are defined on belief bases (rather
than belief sets) and, on the other hand, they are constructed with the underlying idea
that not all new information is accepted. We propose twenty different classes of credibility limited base revision operators and obtain axiomatic characterizations for each of them.
Additionally we thoroughly investigate the interrelations (in the sense of inclusion) among
all those classes. More precisely, we analyse whether each one of those classes is or is not
(strictly) contained in each of the remaining ones.info:eu-repo/semantics/publishedVersio
Residual contraction
In this paper, we propose and axiomatically characterize residual
contractions, a new kind of contraction operators for belief bases. We establish
that the class of partial meet contractions is a strict subclass of the class of
residual contractions. We identify an extra condition that may be added to
the definition of residual contractions, which is such that the class of residual
contractions that satisfy it coincides with the class of partial meet contrac tions. We investigate the interrelations in the sense of (strict) inclusion among
the class of residual contractions and other classes of well known contraction
operators for belief bases.info:eu-repo/semantics/publishedVersio
On ensconcement and contraction
In this article we present an axiomatic characterization for the ensconcement-based contractions. We study the interrelation
among ensconcement-based contractions and brutal contractions, and we present two ways of defining an ensconcement
relation by means of a base contraction operation. Finally, we study the interrelations among ensconcement-based contraction
and epistemic entrenchment-based contractions and among brutal contractions and severe withdrawals.info:eu-repo/semantics/publishedVersio
System of Spheres-based Two Level Credibility-limited Revisions
Two level credibility-limited revision is a non-prioritized revision
operation. When revising by a two level credibility-limited revision, two
levels of credibility and one level of incredibility are considered. When
revising by a sentence at the highest level of credibility, the operator
behaves as a standard revision, if the sentence is at the second level of
credibility, then the outcome of the revision process coincides with a standard
contraction by the negation of that sentence. If the sentence is not credible,
then the original belief set remains unchanged. In this paper, we propose a
construction for two level credibility-limited revision operators based on
Grove's systems of spheres and present an axiomatic characterization for these
operators.Comment: In Proceedings TARK 2023, arXiv:2307.0400
Levi and Harper identities for non-prioritized belief base change
In this paper, we investigate the relation between shielded base contraction postulates
and credibility-limited (CL) base revision postulates. More precisely, we identify (i) the
relation between the postulates satisfied by a shielded base contraction operator and the
postulates satisfied by the CL base revision operator that is defined from it by means of the
consistency-preserving Levi identity and (ii) the relation between the postulates satisfied
by a CL base revision operator and the postulates satisfied by the shielded base contraction
operator that is defined from it by means of the Harper identity. Furthermore, we show
that the consistency-preserving Levi identity and the Harper identity establish a one-to one correspondence between the twenty classes of shielded base contractions presented in
[21] and the twenty classes of credibility-limited base revisions presented in [22].info:eu-repo/semantics/publishedVersio
Studies in credibility: limited base revision
In this paper we present axiomatic characterizations for several classes of credibility-limited base revision functions and establish the interrelation among those classes. We also propose and axiomatically characterize two new base revision functions.info:eu-repo/semantics/publishedVersio
Shielded base contraction
The one that is considered the standard model in the area of logic of belief change was
proposed by Alchourrón, Gärdenfors and Makinson in 1985 and is, nowadays, known as
the AGM model.
Two of the main shortcomings pointed out to the AGM model of belief change are the
(impractical) use of belief sets to represent belief states and the (unrealistic) acceptance of
any new information. In this paper we study a kind of operators—known as shielded base
contractions—which address both those issues. Indeed, on the one hand, these operators
are defined on belief bases (rather than belief sets) and, on the other hand, they are
constructed with the underlying idea that not all new informations are accepted.
We propose twenty different classes of shielded base contractions and obtain axiomatic
characterizations for each of them. Additionally we thoroughly investigate the interrelations
(in the sense of inclusion) among all those classes. More precisely, we analyse whether
each of those classes is or is not (strictly) contained in each of the remaining ones.info:eu-repo/semantics/publishedVersio